A parallel virtual machine for programs composed of abstract data types | IEEE Journals & Magazine | IEEE Xplore