Formal Models, Languages and Applications. Series in Machine Perception and Artificial Intelligence, Volume 66 | lit.salon