1-2 of 2 Books
Mathematical foundations of programming semantics
By Austin Melton
Problemorientierte Programmiersprachen
By Hans Jurgen Schneider