J. DemetrovicsBooksMFDBS 91Computer-Aided Specification TechniquesMfdbs 89Fundamentals of computation theoryAuthor data: Open Library