< language > Algebraic specification of abstract data types . A strict functional language that compiles to C .
Versions of ASpecT are available for Sun , Ultrix , NeXT , Macintosh , OS/2 2.0, Linux , RS/6000 , Atari , Amiga .
ftp://wowbagger.uni-bremen.de/pub/programming/languages .
(1996-03-25)