An intensional characterization of the largest bisimulation (1987)

by L Hallnas
Venue:Theoretical Computer Science