Corless, et al.. Approximate Computation of Pseudovarieties. Association for Computing Machinery (ACM), Sept. 2003, doi:10.1145/990353.990359.