G. Winskel, “Stable Bistructure Models of PCF”, BRICS, bd. 1, nr. 13, maj 1994.