Physical theory as logico-operational structure (Reidel, 1979)