Title: Mathematical foundations of programming semantics
First published: 1990
Subjects: Mathematics, Computer programming