Configuration Structures (1995)

by R v Glabbeck, G Plotkin
Venue:In Proc. 10th LICS Symposium. IEEE