Ah, apologies for the misinformation. I had tried to find information on Dobson's academic background and came up blank, so I assumed they weren't in academia (and, thus, no direct connection to Felleisen). Thank you for the correction!