@inproceedings{abadi1994open,
author = {Abadi, Martin and Lamport, Leslie},
title = {Open Systems in TLA},
booktitle = {Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing},
year = {1994},
month = {August},
abstract = {See the discussion of [112].},
url = {http://approjects.co.za/?big=en-us/research/publication/open-systems-tla/},
pages = {81-90},
edition = {Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing},
}