H. M. Deitel;P. J. Deitel
Deitel & Associates, Inc.;Deitel & Associates, Inc.
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education