Philip E. London Martin S. Feather Implementing Specification Freedoms. 91-131 1982 2 Sci. Comput. Program. 2 db/journals/scp/scp2.html#LondonF82