A framework for reasoning about Erlang code (2001)

by L Fredlund