Cristina Videira Lopes, Karl J. Lieberherr: Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. ECOOP 1994: 81-99