Coalgebraic methods for object{oriented languages (2002)

by H Tews