@phdthesis{denney-thesis,
   author = {Ewen Denney},
   school = {Department of Computer Science, University of Edinburgh},
   title = {A Theory of Program Refinement},
   year = {1999}
}