Carrol Morgan
-
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education