Forty necessary and sufficient conditions for regularity of interval matrices: A survey. Rohn, Jiri (2009) ELA. The Electronic Journal of Linear Algebra [electronic only]
From the theorem of Ważewski to computer assisted proofs in dynamics Marian Mrozek (1995) Banach Center Publications