Zaslat SMS: Models of computation and formal languages / R. Gregory Taylor.