@techreport{3896,
  title = "PROVING CORRECTNESS OF REFINEMENT AND IMPLEMENTATION",
  author = "Grant Malcolm and Joseph A. Goguen",
  year = "1994",
  institution = "OUCL",
  month = "November",
  number = "PRG114",
  pages = "45",
}