@proceedings{DBLP:conf/mpc/1992,
  title = "Mathematics of Program Construction",
  year = "1993",
  editor = "Richard S. Bird and Carroll Morgan and Jim Woodcock",
  isbn = "3-540-56625-2",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "669",
  doi = "10.1007/3-540-56625-2",
}