Calculating Software Generators from Solution Specifications (1994)

by R Kieburtz, F Bellegarde, J Bell, J Hook, J Lewis, D Oliva, T Sheard, T Walton, T Zhou