G.T.: Modular invariants for layered object structures (2006)

by P Müller, A Poetzsch-Heffter, Leavens
Venue:Science of Computer Programming 62