@INPROCEEDINGS{Basin93a,
AUTHOR = "Basin, David and Alan Bundy and Ina Kraan and Sean Matthews",
TITLE = "A Framework for Program Development Based on Schematic Proof",
BOOKTITLE = "7th International Workshop on Software Specification and Design",
Address = "Los Angeles",
Month = "December",
Publisher = "IEEE Computer Society Press",
PAGES = "162--171",
YEAR = 1993
}