Verification in ASL and Related Specification Languages (1992)

by Jordi Farr'es-Casals