@inproceedings{lamport1989a,
author = {Lamport, Leslie},
title = {A Simple Approach to Specifying Concurrent Systems},
booktitle = {Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15.},
year = {1989},
month = {January},
abstract = {This is a "popular" account of the transition-axiom method that I introduced in [50]. To make the ideas more accessible, I wrote it in a question-answer style that I copied from the dialogues of Galileo. The writing in this paper may be the best I've ever done.},
url = {http://approjects.co.za/?big=en-us/research/publication/simple-approach-specifying-concurrent-systems/},
pages = {32-45},
}