1
Published 1991
Springer London
Subjects: ...Computer logic...