Bogumil Hausman Turbo Erlang. 662 1993 ILPS db/conf/slp/slp93.html#Hausman93