Perspicuity and Granularity in Refinement
Electronic Proceedings in Theoretical Computer Science (2011) - Comments
doi: 10.4204/eptcs.55.10  issn: 2075-2180 

Eerke Boiten