Farn Wang: Specification Formalisms and Models. Wiley Encyclopedia of Computer Science and Engineering 2008