А "Моделирование семантики в базах данных" я до сих пор помню довольно хорошо, вплоть до всяких теорем и лемм.