@inproceedings {252242,
	author = {Michel Ban{\^a}tre and Gilles Muller and Pack Heng and Bruno Rochat},
	title = {How to Design Reliable Servers using Fault Tolerant {Micro-Kernel} Mechanisms},
	booktitle = {USENIX Mach Symposium (USENIX Mach Symposium)},
	year = {1991},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/usenix-mach-symposium/how-design-reliable-servers-using-fault-tolerant-micro-kernel},
	publisher = {USENIX Association},
	month = nov
}
