Hairpin lengthening: language theoretic and algorithmic results | UPT Perpustakaan UHAMKA