Operating Guidelines for Finite-State Services (Humboldt-Univ. zu Berlin, 2006)