Reihe Lecture Notes in Computer ScienceB. Liskov × CLUReference ManualB. LiskovSpringer BerlineBook2006 CLUReference ManualB. LiskovSpringer BerlinSoftcover1981