Daniel Luna Mikael Pettersson Konstantinos F. Sagonas 38-47 2004 conf/erlang/2004 Erlang Workshop http://doi.acm.org/10.1145/1022471.1022478 db/conf/erlang/erlang2004.html#LunaPS04