Stem flagship$ (all stems)
2 papers:
VDME-1988-Boddy- The Use of VDM within the Alvey Flagship Project (GB), pp. 153–166.
FPCA-1987-WatsonW #functional #source code- Evaluating functional programs on the FLAGSHIP machine (PW, IW), pp. 80–97.
VDME-1988-Boddy
FPCA-1987-WatsonW #functional #source code