Winskel, G. Stable Bistructure Models of PCF. BRICS 1994, 1.