Z for Managed Objects. - Clazien D. Wezeman; Anthony J. Judge (Z User Workshop, 1994)