"Formal Approaches to Computing and Information Technology (FACIT) is a book series. It is published by Springer-Verlag\u2191, London. The series editor is Professor S.A. Schuman, University of Surrey, UK."@en . . . . "FACIT"@en . "Formal Approaches to Computing and Information Technology (FACIT) is a book series. It is published by Springer-Verlag\u2191, London. The series editor is Professor S.A. Schuman, University of Surrey, UK."@en . .