Howard Bowman Giorgio P. Faconti Analysing Cognitive Behaviour using LOTOS and Mexitl. 132-159 1999 11 Formal Asp. Comput. 2 http://link.springer.de/link/service/journals/00165/bibs/9011002/90110132.htm db/journals/fac/fac11.html#BowmanF99