Viewpoint specification and Z. - Mike Ainsworth; A. H. Cruickshank; Peter J. L. Wallis; Lindsay J. Groves (Inf. Softw. Technol., 1994)