A course of formal instruction in on-line computing at Carnegie-Mellon University