Schuman & Pitt Approach. In Susan Stepney, Rosalind Barden, David Cooper, editors, Object Orientation in Z. Workshops in Computing, pages 95-104, Springer, 1992.
@inproceedings{X92c:0, title = {Schuman & Pitt Approach}, year = {1992}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/X92c%3A0}, cites = {0}, citedby = {0}, pages = {95-104}, booktitle = {Object Orientation in Z}, editor = {Susan Stepney and Rosalind Barden and David Cooper}, series = {Workshops in Computing}, publisher = {Springer}, isbn = {3-540-19778-8}, }