Murray Leaf What is "Formal" Analysis? 129-145 2004 35 Cybernetics and Systems 2-3 http://dx.doi.org/10.1080/01969720490426821 db/journals/cas/cas35.html#Leaf04