A book by KarlFant on the Invocation Model of Process Expression that led to a new clockless logic (LogicallyDeterminedDesign) and universal concurrent assembly language (IplPackage):  http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471798142.html

You can read the first chapter of the book in his paper entitled "A critical review of the notion of algorithm in computer science": http://staffweb.worc.ac.uk/DrC/Courses%202006-7/Comp%204070/Reading%20Materials/FAnt.pdf
----
CategoryBook