Formaliser - An Interactive Support Tool for Z. - Mike Flynn; Tim Hoverd; David Brazier 002 (Z User Workshop, 1989)