Unifying Theories of Programming (1998)

by C A R Hoare, J He
Venue:International Series in Computer Science