Logic in Computer Science (4th Conference - IEEE Computer Society Press, (IEEE Computer Society Press, 1989)
Bibliographic Level Mode of Issuance: Monograph