An Intensional Characterization of the Largest Bissimulation (1987)

by L Hallnas
Venue:Theoretical Computer Science