Too Long; Didn't Read
The printable lesson plan is available on google docs here. It can be used to teach various CS concepts: programs, algorithms, sorting, assumptions, correctness, computational complexity etc. etc. It was developed and field tested over the course of several years and tried on hundreds on visiting students with enthusiastically positive results. The students must write the entire program (for 3 cards) before the cards are shuffled and laid out, then write the “program” that causes them to be sorted.