A theory of catadioptric image formation | Synapse