I kept looking for the identity of the minicomputer used, it has to be either a PDP-11 or a Data General system, I should think, but they provided no model numbers.