Proving behavioral refinements of col-specifications

2006

Michel Bidoit, Rolf Hennicker

in: Algebra, meaning, and computation, Berlin,