«Software Specification Methods», benzeri kitaplar