Design of On-line Computer Systems (Automatic Computation)