In Memory of Maurice H. Halstead | IEEE Journals & Magazine | IEEE Xplore