Title: Algebras for some input/output semantics
Subjects: Computer programs, Correctness, Programming languages (Electronic computers), Semantics