Takashi Chikayama Operating System PIMOS and Kernel Language KL1. 73-88 1992 FGCS db/conf/fgcs/fgcs92.html#Chikayama92