Peter Padawitz. Parameter-Preserving Data Type Specifications. J. Comput. Syst. Sci., 34(2/3):179-209, 1987.
@article{Padawitz87, title = {Parameter-Preserving Data Type Specifications}, author = {Peter Padawitz}, year = {1987}, tags = {data-flow}, researchr = {https://researchr.org/publication/Padawitz87}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {34}, number = {2/3}, pages = {179-209}, }