Multius: Tools for the development of multimedia applications	(1995)
KIISS: High-Level Tools for User Interface Development	(1993)
PROGENES: Automated Mathematical Problem Solving	(1991)
HIT: Task-Based Interactive Tools	(1991)