Title: Algebraic and coalgebraic methods in the mathematics of program construction
Subjects: Mathematics, Computer programming, Congresses, Computer science, Algebra