Mark Utting. Animating Z: Interactivity, Transparency and Equivalence. In 2nd Asia-Pacific Software Engineering Conference (APSEC 95), December 6-9, 1995, Brisbane, Queensland, Australia. pages 294-303, IEEE Computer Society, 1995. [doi]
@inproceedings{Utting95,
title = {Animating Z: Interactivity, Transparency and Equivalence},
author = {Mark Utting},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/apsec/1995/7171/00/71710294abs.htm},
researchr = {https://researchr.org/publication/Utting95},
cites = {0},
citedby = {0},
pages = {294-303},
booktitle = {2nd Asia-Pacific Software Engineering Conference (APSEC 95), December 6-9, 1995, Brisbane, Queensland, Australia},
publisher = {IEEE Computer Society},
}