Title: Unifying theories of programming
Subjects: Computer programming, Congresses