Hutchinson, Norman C. and Larry L. Peterson. The x-kernel: an architecture for implementing network protocols

(1991) IEEE Transactions on Software Engineering 17(1) January 1991  

Languages mentioned x-kernel {1991}