Formal languages for computer simulation hardcover