Designing executable abstractions (1998)

by G J Holzmann
Venue:In FMSP 98 ACM