A theory of computer instructions (2006)

by W D Maurer
Venue:Science of Computer Programming