P. Zimmer, “A Calculus for Context-Awareness”, BRICS, vol. 12, no. 27, Aug. 2005.