admitting final semantics (2002)

by Logics
Venue:Foundations of Software Science and Computation Structures, LNCS