Kashlev, et al.. Typetheoretic Approach to the Shimming Problem in Scientific Workflows. Institute of Electrical and Electronics Engineers (IEEE), Sept. 2015, doi:10.1109/tsc.2014.2347049.