Notes
1. This article is an adaptation of chapter 5 in
Duits (2008
).