Ijazah sma 2010. A good reference is Ve dier’s thesis [Ver96] Despite the level of abstractio...