TY - BOOK AU - Alagar, V.S. AU - Periyasamy K. TI - Specification of software systems SN - 9780857292766 U1 - 005.1 PY - 2011/// CY - New York PB - Springer ER -