@article{DBLP:journals/tse/AvruninDWR86,
  author    = {George S. Avrunin and
               Laura K. Dillon and
               Jack C. Wileden and
               William E. Riddle},
  title     = {Constrained Expressions: Adding Analysis Capabilities to
               Design Methods for Concurrent Software Systems},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {12},
  number    = {2},
  year      = {1986},
  pages     = {278-292},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312944},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}