Logic of transition systems
scientific article; zbMATH DE number 784603
scientific article