Deterministic Regular Languages

ftp://ftp.informatik.uni-freiburg.de/documents/reports/report38/

Back-link to spec