et al., “Deductive Composition of Astronomical Software from Subroutine Libraries (0)

by M Stickel
Venue:Springer-Verlag Lecture Notes in Computer Science