The Dartmouth Mobile Robot: SK. - William Garner; Gregory Friedland; Artyom Lifshits; Daniela Rus; Keith Kotay; Jon Howell (AAAI/IAAI, 1997)

Bounding Lamport's Bakery Algorithm. - Prasad Jayanti; King Tan; Gregory Friedland; Amir Katz (SOFSEM, 2001)