Behavioral interface description of an object-oriented language with futures and promises
scientific article; zbMATH DE number 5609490
scientific article