Add tex and bib files; fix problem with stride generation in loops; simplify intDiv expressions