Books listed by ISBN
L. G. L. T. Meertens
L.G.
Elsevier Science
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Algorithmic Languages and Calculi
978-0-412-82050-2
(0-412-82050-1)
1998
Richard Bird
Program Specification and Transformation
978-0-444-70223-4
(0-444-70223-7)
1987
L. G. Leal