Clara Benac Earle Lars-Åke Fredlund Rigorous Software Development Using McErlang. 355-358 2009 JISBD conf/jisbd/2009 db/conf/jisbd/jisbd2009.html#EarleF09