Category-sorted algebra-based action semantics (1990)

by Susan Even, David A Schmidt
Venue:Theoretical Computer Science