["Rationale for the Design of Aeolus", C. Wilkes et al, Proc

IEEE 1986 Intl Conf Comp Lang, IEEE 1986, pp.107-122].