Title: Unifying theories of programming
First published: 1998
Subjects: Computer programming
LC classification: QA76.6. .H5735 1998