At 11:57 AM 3/24/03 +0100, you wrote: >For example, >http://www.dcs.shef.ac.uk/~ajc/dfa/ Excellent! Just what I was looking for! >or a much heavier one at >http://www4.informatik.tu-muenchen.de/reports/TUM-I9620.html I had this one. It was too heavy for me. jay