ininet.org//abstract-this-paper-is-an-introduction-to-specifying-robust-so.html?page=11