3 works on record
Recent trends in algebraic development techniques
Coalgebraic Methods in Computer Science
Automated Reasoning
2022