Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Written by Steve Dunne