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