@inproceedings{publication-3418,
	author={Glinz, Martin},
	booktitle={Requirements Engineering '87},
	publisher={Gesellschaft f{\"u}r Mathematik und Datenverarbeitung},
	series={GMD Studien},
	title={Objektorientierte, halbformale Spezifikation mit SPADES},
	year=1987,
}