S
[Sis83] A. Prasad Sistla. Theoretical Issues in the Design and Verification of Distributed Systems. PhD thesis, Harvard University, 1983. 
@phdthesis{phd-sistla,
  author =              {Sistla, A. Prasad},
  title =               {Theoretical Issues in the Design and Verification of
                         Distributed Systems},
  year =                {1983},
  school =              {Harvard University},
}
List of authors