"Cricot"@cs .