Computing power and legal reasoning - Walter, Charles (West Pub. Co., 1985)