Ken Robinson, Peter S. Ho, Martin Schwenke. To Zed and back: integrating data flow diagrams and Z. In Alan Fekete, John Rosenberg, editors, Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996. Volume 1 of ACM International Conference Proceeding Series, pages 127-134, ACM, 1996. [doi]
Abstract is missing.