Lars-Åke Fredlund Clara Benac Earle Model checking erlang programs: the functional approach. 11-19 2006 Erlang Workshop http://doi.acm.org/10.1145/1159789.1159793 conf/erlang/2006 db/conf/erlang/erlang2006.html#FredlundE06