Express - rapid prototyping and product development via integrated knowledge-based executable specifications. - Phillip Topping; John E. McInroy; William Livley; Sallie Sheppard (FJCC, 1987)