Chris Chambers Martin Erwig Dimension inference in spreadsheets. 123-130 2008 VL/HCC http://dx.doi.org/10.1109/VLHCC.2008.4639072 conf/vl/2008 db/conf/vl/vlhcc2008.html#ChambersE08