Finite and infinite implementation of transition systems
scientific article; zbMATH DE number 6103617