Deductive composition of astronomical software from subroutine libraries (1994)

by M E Stickel, R J Waldinger, M R Lowry, T Pressburger, I Underwood
Venue:CADE, Lecture Notes in Computer Science