Useful links

• The 2010 textbook

• The 2007 book

• WG notation

• A sample text

• Wikipedia