Leslie Lamport. TLZ. In Z User Workshop. pages 267-268, 1994.
@inproceedings{Lamport94:1,
title = {TLZ},
author = {Leslie Lamport},
year = {1994},
researchr = {https://researchr.org/publication/Lamport94%3A1},
cites = {0},
citedby = {0},
pages = {267-268},
booktitle = {Z User Workshop},
}