00307nam a2200109Ia 4500008004100000020002200041041001200063100003100075245003800106260003200144650002100176231221s9999    xx            000 0 und d  a978-0-85729-277-3  aEnglish  aV.S. Alagar, K. Periyasamy 0aSpecification of Software Systems  c2011bSpringer USaNew York  aComputer Science