2 books • 1 series
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS)
Elements of Functional Languages