Larch Incorporated some features of
OBJ Incorporated some features of
SIMULA 67 Evolution of

OO Language with specification semantics