A Functional Programming Approach to the Specification and Verification of Concurrent Systems. - Peter Dybjer; Herbert P. Sander (Formal Aspects Comput., 1989)