Computer Aided Specification Techniques, Series in Computer Science - Vol 1