Formal Specifications and Test: Correctness and Oracle
Introducing institutions