Aspects of Systems Integration. - Erik G. Nilsson; Else K. Nordhagen; Gro Oftedal (ICSI, 1990)

divide et impera: a computational framework for verifying object component substutability. - Else K. Nordhagen (1998)