Varieties of eects (2002)

by C Fuhrmann
Venue:In Foundations of Software Science and Computation Structures, volume 2303 of LNCS