Bogumil Hausman Turbo Erlang: Approaching the Speed of C. 119-135 1993 ICLP-Workshops on Implementation of Logic Programming Systems db/conf/iclp/iclp93-w1.html#Hausman93