Specification of SETU with WSMO. - Wout Hofman; Menno Holtkamp; Michael van Bekkum (I-ESA, 2010)