In Memoriam: Michael Henderson [Society News] | IEEE Journals & Magazine | IEEE Xplore