CITATION STYLE
Back, R. J. R. (1993). Refinement Calculus, Lattices and Higher Order Logic (pp. 53–71). https://doi.org/10.1007/978-3-662-02880-3_2
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley