From the theorem of Ważewski to computer assisted proofs in dynamics Marian Mrozek (1995) Banach Center Publications