Title: A theory of object oriented refinement
First published: 2006