Jonathan P. Bowen. Experience teaching Z with tool and web support. ACM SIGSOFT Software Engineering Notes, 26(2):69-75, 2001. [doi]
@article{Bowen01-0,
title = {Experience teaching Z with tool and web support},
author = {Jonathan P. Bowen},
year = {2001},
doi = {10.1145/505776.505794},
url = {http://doi.acm.org/10.1145/505776.505794},
researchr = {https://researchr.org/publication/Bowen01-0},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {26},
number = {2},
pages = {69-75},
}