Courtesy RK Brayton (UCB) and A Kuehlmann (Cadence) 1 Logic Synthesis Technology Mapping.
Working with functional data structures
Functional linear data structures in f#
Simple and fast linear space computation of Longest common subsequences Claus Rick, 1999.