Configuration structures (1995)

by R J van Glabbeek, G D Plotkin
Venue:Proc. LICS’95