IEEE Workshop on Languages for Automation (1985 Universitat de Palma, Spain)