Vignettes from package 'StateTrace'
StateTrace -
PDF
LaTeX/noweb