Cognitive Research A Formal Approach - Gergely, TamΓ's (Springer-Verlag Berlin Heidelberg, 2010)