Nils Bulling: Modelling and verifying abilities of rational agents. Papierflieger-Verlag Clausthal University of Technology 2010, ISBN 978-3-942216-41-8