3 books • 3 series
Instruction Sequences for Computer Science (Atlantis Studies in Computing, #2)
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Logic and Specifications (Chapman & Hall Computer Science: Research & Practice)