Pilarczyk, P. Computer Assisted Method for Proving Existence of Periodic Orbits. TMNA 1999, 13, 365-377.