Modal logics for coalgebraic class specification (2000)

by J Rothe