%0 Book %1 books/others/Hussmann91 %A Hußmann, Heinrich %D 1991 %I University of Passau, Germany %K %T Nondeterministic algebraic specifications.

@book{books/others/Hussmann91, added-at = {2023-12-12T18:48:18.000+0100}, author = {Hußmann, Heinrich}, biburl = {https://www.bibsonomy.org/bibtex/2ce9666f395089b1694cee7305d19ab99/admin}, ee = {http://d-nb.info/911293698}, interhash = {177f6aaa7ebe2239ec0960c3d61ec478}, intrahash = {ce9666f395089b1694cee7305d19ab99}, keywords = {}, publisher = {University of Passau, Germany}, timestamp = {2023-12-12T18:48:18.000+0100}, title = {Nondeterministic algebraic specifications.}, year = 1991 }