I think I recall Alice and Bob also being mentioned along side Louis Reasoner in SICP problem sets in ‘81 or ‘82… (Edit) well, according to Wikipedia, the cast of characters for SICP doesn’t include Alice and Bob. In those years the book didn’t exist yet.