Author: International Symposium on the Design and Applications of Logical Systems, Université libre de Bruxelles, 1969