Lutz Hirschmann. Ein System zur rechnerunterstützten Spezifikation. In Hans Wössner, editor, Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Volume 53 of Informatik-Fachberichte, pages 79-91, Springer, 1982.
@inproceedings{Hirschmann82, title = {Ein System zur rechnerunterstützten Spezifikation}, author = {Lutz Hirschmann}, year = {1982}, researchr = {https://researchr.org/publication/Hirschmann82}, cites = {0}, citedby = {0}, pages = {79-91}, booktitle = {Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings}, editor = {Hans Wössner}, volume = {53}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-11204-9}, }