\bib{1981/misra}
\yr 1981
\by Jayadev Misra
\paper An exercise in program explanation
\jour ACM Transactions on Programming Languages and Systems
\issn 0164--0925
\vol 3
\pages 104--109
\url http://cr.yp.to/\allowbreak bib/\allowbreak entries.html#\allowbreak 1981/\allowbreak misra
\endref