The x-kernel: an architecture for implementing protocols (1991)

by N C Hutchinson, L L Peterson
Venue:IEEE Transactions on Software Engineering