E. Volanschi, G. Muller, and C. Consel. Workshop Record of WCSSS'96 -- The Inaugural Workshop on Compiler Support for Systems Software, page 24--28. Tucson, AZ, USA, (February 1996)
G. Muller, R. Marlet, E. Volanschi, C. Consel, C. Pu, and A. Goel. Proceedings of the 18th International Conference on Distributed Computing Systems, page 240--249. Amsterdam, The Netherlands, IEEE Computer Society Press, (May 1998)