Volver a los detalles del artículo Cálculo de intersecciones rayo/objeto en ray tracing: Una especificación formal en Z