CITATION STYLE
Constable, R. L. (1989). Assigning Meaning to Proofs: a semantic basis for problem solving environments. In Constructive Methods in Computing Science (pp. 63–93). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-74884-4_3
Mendeley helps you to discover research relevant for your work.