Iterative circular coinduction for CoCasl in Isabelle/HOL (2005)

by Daniel Hausmann, Till Mossakowski, Lutz Schröder
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI