J. E. Nicholls
-
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes