Mueller, C.S.M.
(Computer Society of South Africa (on behalf of SAICSIT), 1987)
A novel way of programming, which starts with specific details of a particular example and abstracts these
details into generalised sets, is proposed. The whole program is constructed around the definition of these ...