Completeness of fair ASM refinement
scientific article; zbMATH DE number 5904438
scientific article