The Synthesis Kernel (1988)

by C Pu, H Massalin, J Ioannidis
Venue:Computing Systems