reviewed introduction
Merge pull request #18 from Jochen-Burghardt/master

reviewed introduction
reviewed Ch.3 "formal verification..."
updated pdf after Ch.3 review
Merge pull request #19 from Jochen-Burghardt/master

reviewed Ch.3 "formal verification..."
fix issues in introduction
fix issues in intro of chapter 3
fix issues in section 3.1
fix issues in basic.tex

add reference to ISO C standard
fix issues in informal specification
work on more issues
Merge pull request #214 from jensgerlach/master

internal review (in progress)