Informatics 7 (Conference) (1983 Cambridge)