World-class product certification using erlang (2002)

by Ulf Wiger, Gösta Ask, Kent Boortz
Venue:In Proceedings of the 2002 ACM SIGPLAN workshop on Erlang