Symposium on Logic in Computer Science (1986 Cambridge, Mass.).