@Article{hpoa,

author = {R\u{a}zvan Diaconescu},

title = {Coinduction for preordered algebras},

journal = {Information and Computation},

volume = 209,

number = 2,

pages = {108--117},

year = 2011}