Ralph-Johan Back Joakim von Wright Reasoning Algebraically about Loops. 295-334 1999 36 Acta Inf. 4 http://link.springer.de/link/service/journals/00236/bibs/9036004/90360295.htm db/journals/acta/acta36.html#BackW99