Gregory Kulczycki Murali Sitaraman Kimberly Roche Nighat Yasmin Formal Specification. 2008 Wiley Encyclopedia of Computer Science and Engineering http://dx.doi.org/10.1002/9780470050118.ecse161 reference/wiley/2008 db/reference/wiley/wiley2008.html#KulczyckiSRY08