Chapter PDF
References
Burstall, R. and Goguen, J. An informal introduction to specification using Clear. In Boyer, R. and Moore, J (editor), The Correctness Problem in Computer Science, pages 185–213. Academic Press, 1981.
Goguen, J. and Burstall, R. Introducing institutions. In Logics of Programs. Springer LNCS No. 164, (eds. Clarke and Kozen), 1984.
Milner, R. The Standard ML core language. Computer Science Dept. Report, Univ. of Edinburgh, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burstall, R.M. (1985). Inductively defined functions. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Mathematical Foundations of Software Development. CAAP 1985. Lecture Notes in Computer Science, vol 185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15198-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-15198-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15198-2
Online ISBN: 978-3-540-39302-3
eBook Packages: Springer Book Archive