Polak, W.: Compiler Specification and Verification

Bok av Wolfgang Polak