Physical theory as logico-operational structure (The University of Western Ontario series in philosophy of science, 1979)