Transformational Program Development in a Particular Program Domain

Cite this paper

@article{Partsch1986TransformationalPD, title={Transformational Program Development in a Particular Program Domain}, author={Helmuth Partsch}, journal={Sci. Comput. Program.}, year={1986}, volume={7}, pages={99-241} }