Ralph-Johan Back, Joakim von Wright. Refinement calculus - a systematic introduction. Undergraduate texts in computer science, Springer, 1999.
@book{0096285,
title = {Refinement calculus - a systematic introduction},
author = {Ralph-Johan Back and Joakim von Wright},
year = {1999},
tags = {refinement, systematic-approach},
researchr = {https://researchr.org/publication/0096285},
cites = {0},
citedby = {0},
series = {Undergraduate texts in computer science},
publisher = {Springer},
isbn = {978-0-387-98417-9},
}