2 books • 1 series
Fundamentals of Computation Theory (Lecture Notes in Computer Science, #6914)
ANNA A Language for Annotating Ada Programs (Lecture Notes in Computer Science, #260)