Mark Daley, Ian McQuillan: Viral Gene Compression: Complexity and Verification. CIAA 2004: 102-112