Robin Abraham Martin Erwig UCheck: A spreadsheet type checker for end users. 71-95 2007 18 J. Vis. Lang. Comput. 1 http://dx.doi.org/10.1016/j.jvlc.2006.06.001 db/journals/vlc/vlc18.html#AbrahamE07