5044 Muskens, Reinhard (1997) Program Semantics and Classical Logic. [Departmental Technical Report] (Unpublished)