Author: Formal Methods in the Study of Language Staff