Source : Free On-Line Dictionary of Computing

MODEF
     
        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).