Heinrich Hußmann. Formal Foundations for Software Engineeing Methods. Volume 1322 of Lecture Notes in Computer Science, Springer, 1997.
@book{Hussmann97, title = {Formal Foundations for Software Engineeing Methods}, author = {Heinrich Hußmann}, year = {1997}, researchr = {https://researchr.org/publication/Hussmann97}, cites = {0}, citedby = {0}, volume = {1322}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63613-7}, }