Formal Methods in Human-Computer Interaction
-
pocket
,
Engelska, 2009