Title: IEEE Workshop on Languages for Automation (Lfa '88, 6th 1988)