To Zed and back: integrating data flow diagrams and Z. - Ken Robinson; Peter S. Ho; Martin Schwenke (ACSE, 1996)