Books by IEEE Workshop on Languages for Automation (1984 New Orleans, La.)