Three Approaches to Timed External Choice in UTP. - Samuel Canham; Jim Woodcock 001 (UTP, 2014)

Unifying theories of reactive design contracts. - Simon Foster 001; Ana Cavalcanti 001; Samuel Canham; Jim Woodcock 001; Frank Zeyda (Theor. Comput. Sci., 2020)