Expected length of longest common subsequences. - Vladimír Dancík (1994)