Context Dependent Bisimulations Between Processes (1986)

by K G Larsen