with functions that can be effectively computed. Examples: Program/
Proof Refinement Logic (PRL).
u Algebraic/Property-Oriented—Specify information systems using
methods derived from abstract algebra or category theory. Examples: