1-4 of 4 Books
Automata, Languages and Programming
By Laurent Kott
Logics of Programs
By D. Kozen
Programs as data objects
By Neil D. Jones
ESOP '88
By European Symposium on Programming (2nd 1988 Nancy, France)