@article{Pra93VarAccess1,
  author    = {Prasetya, I.S.W.B.},
  editor    = {Joyce, J.J. and Seger, C.J.H.},
  year      = 1993,
  title     = {Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties},
  journal   = {Lecture Notes in Computer Science},
  volume    = 780,
  pages     = {324-337},
  publisher = {Springer-Verlag},
  pubcat    = {article},
}