@inproceedings{denney-procomet,
   author = {Ewen Denney},
   booktitle = {IFIP Working Conference on Programming Concepts and Methods (PROCOMET '98), Shelter Island, New York, USA},
   editor = {David Gries and Willem-Paul de Roever},
   pages = {148--166},
   publisher = {Chapman and Hall},
   title = {Refinement {T}ypes for {S}pecification},
   year = {1998}
}