P. Zimmer, “A Calculus for Context-Awareness”, BRICS, bd. 12, nr. 27, aug. 2005.