In a short section on the semantics of programs within his discussion of program
correctness, Primiero seems to endorse the received view on the Scott-Strachey approach to …