Title: Unifying theories of programming
Subjects: Computer programming, Congresses, Logic design, Software engineering, Computer science, Artificial intelligence