A Formal Model of Visualization in Computer Graphics Systems (Lecture Notes in

The Design of an Extendible Graph Editor. Lecture Notes in Computer Science, Ban

Pictorial Information Systems (Lecture Notes in Computer Science)

Simple program schemes and formal languages. Lecture notes in computer science ;

Distributed Context-Aware Systems (SpringerBriefs in Computer Science) by

Formal Techniques for Distributed Systems - 9783642307928

Foundations of inductive logic programming. Lecture notes in computer science ;

Formal Techniques for Distributed Systems - 9783642385919