A declarative formalism for specifying graphical layout | IEEE Conference Publication | IEEE Xplore