Foundations of Software Science and Computational Structures
scientific article; zbMATH DE number 2227639