A Pragmatic Approach to Verification, Validation and Compilation | Publicación