@article{1981-misra ,note={URL: {\tt http://cr.yp.to/\allowbreak bib/\allowbreak entries.html\#\allowbreak 1981/\allowbreak misra}} ,author={Jayadev Misra} ,ISSN={0164--0925} ,journal={ACM Transactions on Programming Languages and Systems} ,pages={104--109} ,title={{An exercise in program explanation}} ,volume={3} ,year={1981} }