Engineering Trustworthy Software Systems
Jonathan P Bowen
Paperback
Not Available
Unifying Theories of Programming