- @article{ProvingtheCorrectness:Lamport:@TSE77,
 author = {Lamport, L.},
 title = {Proving the Correctness of Multiprocess Programs},
 journal = {IEEE Trans. Softw. Eng.},
 issue_date = {March 1977},
 volume = {3},
 number = {2},
 month = mar,
 year = {1977},
 pages = {125--143},
 numpages = {19},
 publisher = {IEEE Press},
}