selected publications chapter Tests and Proofs for Enumerative Combinatorics. Lecture notes in computer science. 57-75. 2016