§ Longest increasing subsequence, step by step (WIP)

• The science of Programming by Gries