Petri har författat t .ex.