TY - RPRT TI - AMPHION: Specification-based programming for scientific subroutine libraries AU - Lowry, Michael AU - Philpot, Andrew AU - Pressburger, Thomas AU - Underwood, Ian AU - Waldinger, Richard AU - Stickel, Mark PY - 1994 UR - https://ntrs.nasa.gov/citations/19950017260 ID - 19950017260 ER -