The formal specification of a conference organizing system /
Clement, T.
Oxford University Computing Laboratory.Programming Research Group.
Oxford : Oxford University Computing Laboratory, Programming Research Group,
1983.