Precondition: Computer Programming, Predicate, Code, Formal Specification, Security, Assertion, Factorial, Object Oriented Programming

Postcondition: Computer Programming, Formal Specification, Precondition, Design by Contract, Hoare Logic, Invariant

Algebraic Specification Techniques in Object Oriented Programming Environments

Protocol (Object-Oriented Programming): Object-Oriented Programming, Java, Programming Language, Logtalk