Title: A survey of imput-output semantics and program verification
Subjects: Computer programs, Programming languages (Electronic computers), Semantics, Verification