CITATION STYLE
Sickel, S. (1982). Specification and Derivation of Programs. In Theoretical Foundations of Programming Methodology (pp. 103–133). Springer Netherlands. https://doi.org/10.1007/978-94-009-7893-5_7
Mendeley helps you to discover research relevant for your work.