\bib{1986/jahnichen}
\yr 1986
\by Stefan J\"ahnichen
\by Fatima Ali Hussain
\by Matthias Weber
\paper Program development by transformation and refinement
\inbook \cite{1986/conradi-book}
\url http://grosskurth.ca/\allowbreak bib/\allowbreak entries.html#\allowbreak 1986/\allowbreak jahnichen
\endref
