Enumerative DNA Computing Model - Xu, Jin (Biological Computing ; page 169-184 ; ISBN 9789819638697 9789819638703, 2025)