TY  - BOOK
AU  - Troelstra, A.S..
TI  - Choice Sequences / 
SN  - 0-19-853163-X
U1  - B361 
CY  - Oxford OX2 6DP : 
PB  - Oxford University Press.
KW  - Sequences
ER  -