С.Л. Кузнецов. Реляционные модели для исчисления Ламбека