Behavioral interface description of an object-oriented language with futures and promises - Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin (The journal of logic and algebraic programming, 2009)