@misc{1992-singleton
,note={URL: {\tt http://grosskurth.ca/\allowbreak bib/\allowbreak entries.html\#\allowbreak 1992/\allowbreak singleton}. Note: Technical Report TR92-17}
,author={Paul Singleton and Pearl Brereton}
,title={{Building software by deduction: why and how}}
,publisher={Deptartment of Computer Science, Keele University}
,year={1992}
}