Co-inductive Axiomatization of a Synchronous Language.

David Nowak Jean-René Beauvais Jean-Pierre Talpin Co-inductive Axiomatization of a Synchronous Language. 387-399 1998 conf/tphol/1998 TPHOLs db/conf/tphol/tphol98.html#NowakBT98 http://dx.doi.org/10.1007/BFb0055148