Jonathan P. Bowen
-
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes