SUBRAMANIAN ,K.G. & OTHERS FORMAL MODELS LANGUAGES AND APPLICATIONS (VOL.66). - New Jersey World Scientific 2006 - viii+410p.,23X16Cms. ISBN: 9812568891 Dewey Class. No.: 621.38195 S94