1
by Gabbay, Dov M., 1945-
Published 1998
...Prentice Hall series in computer science...