Tennent, R.D., Specifying Software : A Hands-on Intoduction R.D.Tennent. - U.K. Cambridge University Press., c2002. - xii, 289 p.: [48] This book also having appendix from 257-285 ISBN: 0521004012 Dewey Class. No.: 005.1 / TEN/SPE