Jan Kazimierczak Concept and synthesis of an operating system nucleus implemented in computer hardware. 273-284 1987 conf/acm/1987 ACM Conference on Computer Science http://doi.acm.org/10.1145/322917.322961 db/conf/acm/csc1987.html#Kazimierczak87