Class invariant: Computer programming, Invariant (computer science), Object oriented Method science)

Computer Science (R0) Object Oriented Technology

Undergraduate Topics in Computer Science Concise Guide to Object Oriented Programming

Computer Science for Beginners Java Object Oriented Programming in 30 minutes

Lecture Notes in Computer Science Algebraic Specification Techniques Object Oriented Programming Environments