Pascal-like language with polymorphism and data abstraction. "Definition of the Programming Language MODEF", J. Steensgard-Madsen et al, SIGPLAN Notices 19(2):92-110 (Feb 1984).
Try this search on Wikipedia, OneLook, Google
Nearby terms: Mode « mode « mode bit « MODEF » MODEL » model » model checking
