An open,
highly-portable Smalltalk-80 implementation whose virtual machine is
written entirely in Smalltalk, making it easy to, graphically, debug,
analyze, and change
A language and a
corresponding compiler suite for functional specification of reactive
embedded systems (Luciano Lavagno,Ellen Sentovich,Roberto
Passerone)