Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986 (IEEE Computer Society Press Association for Computing Machinery, 1986)
περιέχει βιβλιογραφία