A theory of reduced and minimal procedural dependencies | IEEE Journals & Magazine | IEEE Xplore