Automated Result Verification with AWK. - Balkhis Abu Bakar; Tomasz Janowski (ICECCS, 2000)