To Zed and Back: Integrating Data Flow Diagrams and Z

WhoKen Robinson, Peter Ho, Martin Schwenke
WhereFirst Australian Conference on Computer Science Education, ACM, University of Sydney, Sydney, Australia, July 3-5, 1996. Pages 127-134.
WhenJuly 1996