Abstract interface behavior of object-oriented languages with monitors
scientific article; zbMATH DE number 5552174
scientific article