John Cooke 1 2002 14 Formal Asp. Comput. 1 http://link.springer.de/link/service/journals/00165/bibs/2014001/20140001.htm db/journals/fac/fac14.html#Cooke02