Configuration structures (1995)

by Rob J van Glabbeek, Gordon D Plotkin
Venue:In LICS