Formal Methods for Components and Objects Lecture Notes in Computer Science | lit.salon