"Aztec Software"@cs .