@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}