Algorithmic Game Semantics: A Tutorial Introduction
S. Abramsky
Book Title
Proceedings of the NATO Advanced Study Institute‚ Marktober− dorf
Chapter
Proof and System Reliability
Editor
H. Schichtenberg and R. Steinbrüggen
Pages
21−47
Publisher
Kluwer Academic Publishers
Year
2001