M. B. Kjærgaard og J. Bunde-Pedersen, “A Formal Model for Context-Awareness”, BRICS, bd. 13, nr. 2, feb. 2006.