@article{395665,
      author = {Mukund, Madhavan. and Rangarajan, K. and Subramanian, K.  G.},
      url = {http://library.usi.edu/record/395665},
      title = {Formal models, languages and applications [electronic  resource] /},
      publisher = {World Scientific,},
      recid = {395665},
      pages = {viii, 410 p. :},
      address = {Singapore ;},
      year = {2006},
}