K. RangarajanBooksFormal Models, Languages and Applications. Series in Machine Perception and Artificial Intelligence, Volume 66Author data: Open Library