Deductive Composition of Astronomical Software from Subroutine Libraries.

Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood

Browse the full CADE paper archive.