Author: IEEE Workshop on Languages for Automation (1985 Palma de Mallorca)