JANUS: An interactive document formatter based on declarative tags | IBM Journals & Magazine | IEEE Xplore