Injective envelope of graphs and transition systems
scientific article; zbMATH DE number 1525014
scientific article