Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. - O. Biberstein; Didier Buchs; Nicolas Guelfi (Concurrent Object-Oriented Programming and Petri Nets, 2001)