A functional programming approach to the specification and verification of concurrent systems (1989)

by P Dybjer, H P Sanders
Venue:Formal Aspects of Computing