an extended and "organized" bibliography may be found in Longo[1987 and (1988)

by R Amadio, K B Bruce, G Longo
Venue:IEEE Conference on Logic in Computer Science (LICS '86