Review: Seymour Ginsburg, Gene F. Rose, A Characterization of Machine Mappings