@Inproceedings{EPTCS282.1, author = {Hehner, Eric C.R.}, year = {2018}, title = {A Theory of Lazy Imperative Timing}, editor = {Derrick, John and Dongol, Brijesh and Reeves, Steve}, booktitle = {{\rm Proceedings} 18th Refinement Workshop, {\rm Oxford, UK, 18th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {282}, publisher = {Open Publishing Association}, pages = {1-9}, doi = {10.4204/EPTCS.282.1}, }