Transition invariants (2004)

by A Podelski, A Rybalchenko
Venue:In LICS