Experiments on a lattice theory of operator mental models | IEEE Conference Publication | IEEE Xplore