A formal library of set relations and its application to synchronous languages
scientific article; zbMATH DE number 5991563
scientific article