Compositional failure-based semantic models for basic LOTOS
scientific article; zbMATH DE number 823620
scientific article