@inproceedings{lamport1993verification,
author = {Lamport, Leslie},
title = {Verification and Specification of Concurrent Programs},
booktitle = {A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374.},
year = {1993},
month = {June},
abstract = {In keeping with the theme of the workshop, this paper provides a brief, biased overview of 18 years of verifying and specifying concurrent systems, along with an introduction to TLA.  Looking at it almost 10 years later, I find it a rather nice read.},
url = {http://approjects.co.za/?big=en-us/research/publication/verification-specification-concurrent-programs/},
edition = {A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374.},
}