@inproceedings{DBLP:conf/zum/PolackM94,
author = {Fiona Polack and
Keith Mander},
title = {Software Quality Assurance Using the SAZ Method},
booktitle = {Z User Workshop},
year = {1994},
pages = {230-249},
bibsource = {DBLP, http://dblp.uni-trier.de}
}