\bib{1992/singleton}
\yr 1992
\by Paul Singleton
\by Pearl Brereton
\paper Building software by deduction: why and how
\paperinfo Technical Report TR92-17
\publ Deptartment of Computer Science, Keele University
\url http://grosskurth.ca/\allowbreak bib/\allowbreak entries.html#\allowbreak 1992/\allowbreak singleton
\endref
