Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987 (IEEE Computer Society Press Association for Computing Machinery, 1987)
περιέχει βιβλιογραφία