@nulibsage I haven't been keeping a list, but "lecture notes in computer science" (1980) was the last one