Pattern matching in ML : a case study in refinement /
Macdonald, R.
Randell, G. R.
Sennett, C. T.
Malvern : Royal Signals and Radar Establishment,
1989.
Programming languages (Electronic computers)
ML (Computer program language)