The regular histories formulation of quantum theory. - Roman Priebe (2012)