Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland (IEEE Computer Society Press, 1988)
περιέχει βιβλιογραφία