Karlquist Haken

Karlquist Haken is the author of books such as Machine As Metaphor and Tool - Languages and Tools For Formal Specification.