G. Winskel, “Stable Bistructure Models of PCF”, BRICS, vol. 1, no. 13, May 1994.