Specification and Development of Reactive Systems

@inproceedings{reactivesystems-ip86,
   address = {Dublin, Ireland},
   apice = {ReactivesystemsIp86},
   author = {Amir Pnueli},
   booktitle = {Information Processing 86, Proceedings of the IFIP 10th World Computer Congress},
   numpages = 14,
   pages = {845--858},
   publisher = {North-Holland / IFIP},
   title = {Specification and Development of Reactive Systems},
   year = 1986
}