Behavioral institutions and refinements in generalized hidden logics (0)

by M A Martins
Venue:Journal of Universal Computer Science