A framework for reasoning about Erlang code (2001)

by L Fredlund
Venue:Swedish Institute of Computer Science