No subscription or hidden extras
Read through all quotes from Jim Horning
Wortman) Prentice Hall (1970). Larch Languages and Tools for Formal Specification (with John V. D.
Horning's interests included programming languages programming methodology specification formal methods digital rights management and computer/network security. Peter G. Neumann reported on 22 January 2013 in the RISKS Digest Volume 27 Issue 14 that Horning had died on 18 January 2013.
