All calculations use standard methods detailed in Maxwell and Delaney (1). The details of how Prism does its calculations for controlling the Type I error are in this eight-page document.
1. Scott E. Maxwell, Harold D. Delaney, Designing Experiments and Analyzing Data: A Model Comparison Perspective, Second Edition,IBSN:0805837183