Thomas Arts Mads Dam Lars-Åke Fredlund Dilian Gurov System Description: Verification of Distributed Erlang Programs. 38-41 1998 conf/cade/1998 CADE db/conf/cade/cade98.html#ArtsDFG98 http://link.springer.de/link/service/series/0558/bibs/1421/14210038.htm