TY - BOOK AU - Steve Dunne, Bill Stoddart TI - Unifying Theories of Programming SN - 978-3-540-34752-1 PY - 2006/// CY - New York PB - Springer US KW - Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Operating Systems KW - Computer Science ER -