A Tutorial Introduction to Designs in Unifying Theories of Programming.

Jim Woodcock, Ana Cavalcanti

Browse the full IFM paper archive.