Coalgebraic Methods for Object-Oriented Specification (2002)

by H Tews