Author: Ill.) IEEE Workshop on Languages for Automation (1983 : Chicago