Mark Daley Ian McQuillan Formal modelling of viral gene compression. 453-469 2005 16 Int. J. Found. Comput. Sci. 3 http://dx.doi.org/10.1142/S0129054105003091 db/journals/ijfcs/ijfcs16.html#DaleyM05