Oliver Schoett. Two Impossibility Theorems on Behaviour Specification of Abstract Data Types. Acta Informatica, 29(6/7):595-621, 1992.
@article{Schoett92, title = {Two Impossibility Theorems on Behaviour Specification of Abstract Data Types}, author = {Oliver Schoett}, year = {1992}, tags = {data-flow}, researchr = {https://researchr.org/publication/Schoett92}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {29}, number = {6/7}, pages = {595-621}, }