W. Kevin Wilkinson Haran Boral KEV - A Kernel for Bubba. 31-44 1987 IWDM db/conf/iwdm/iwdm87.html#WilkinsonB87