ยง
Longest increasing subsequence, step by step (WIP)
The science of Programming by Gries