CAVIAR : a case study in specification /
Flinn, Bill.
Sorensen, Ib Holm.
Oxford University Computing Laboratory.Programming Research Group.
Oxford : Oxford University Computing Laboratory, Programming Research Group,
1985.