Title: Formal Models, Languages and Applications. Series in Machine Perception and Artificial Intelligence, Volume 66