CITATION STYLE
Dijkstra, E. W. (1989). The derivation of a proof by J.C.S.P. van der Woude. In Constructive Methods in Computing Science (pp. 233–243). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-74884-4_8
Mendeley helps you to discover research relevant for your work.