Peter Padawitz. Equational Data Type Specifications and Recursive Program Schemes. In Dines Bjørner, editor, Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. pages 305-330, North-Holland, 1982.
@inproceedings{Padawitz82-0, title = {Equational Data Type Specifications and Recursive Program Schemes}, author = {Peter Padawitz}, year = {1982}, researchr = {https://researchr.org/publication/Padawitz82-0}, cites = {0}, citedby = {0}, pages = {305-330}, booktitle = {Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982}, editor = {Dines Bjørner}, publisher = {North-Holland}, isbn = {0-444-86619-1}, }