CITATION STYLE
Dijkstra, E. W., & Schölten, C. S. (1990). Semantics of straight-line programs. In Predicate Calculus and Program Semantics (pp. 121–146). Springer New York. https://doi.org/10.1007/978-1-4612-3228-5_7
Mendeley helps you to discover research relevant for your work.