S. R. P. Teixeira

• On the reduction of the size of transition matrices
• SDM - a syntax directed macro-processor