Troelstra A. S.  <br/><br/>
Choice sequences 

 - Oxford  clarendon press  1977