W L Scherlis;D S Scott
-;-
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation