paragraph_text: Unifying Theories of Programming je knjiga o programskoj semantici. Pokazuje kako se denotacijska semantika, operacijska semantika i algebarska semantika mogu kombinirati u unificirani okvir za formalnu specifikaciju, dizajn i implementaciju programa i računalnih sustava.