doi dblp Toward a Logical/Physical Theory of Spreadsheet Modeling Tomás Isakowitz | Shimon Schocken | Henry C. Lucas Jr. 1995 Volume 13 Issue 1