H.: Coalgebraic Methods for Object-Oriented Specification (2002)

by Tews