Modular Specification of Encapsulated Object-Oriented Components [chapter]

Arnd Poetzsch-Heffter, Jan Schäfer
2006 Lecture Notes in Computer Science  
doi:10.1007/11804192_15 fatcat:74hko2jxincn7n6zm5nn2j47m4