Напишите имя и фамилию человека, в честь которого в романе "Луна — суровая хозяйка" был назван Хомо-Ориентированный Логический Многокритериальный Супервизор Майк.