A monad for full ground reference cells | IEEE Conference Publication | IEEE Xplore