Specification and Refinement of Type Interfaces in Scientific Software - Research Database, The University of York Other