PAMELA-C++: Tight Integration of Rule-Based Features into an Object-Oriented Language. - Ernst Bahr; Andreas Holzmann; Eduard Mehofer; Günter Pollak (AIFIPP, 1992)