AspecT

Algebraic SPECification of abstract data Types

A strict functional language that compiles to C.

Versions for Sun, Ultrix, NeXT, Mac, OS2/2.0, linux, RS6000, the Atari, and the Amiga.