John Harrison. Without Loss of Generality. Theorem Proving in Higher Order Logics. TPHOLs 2009. Berlin, Heidelberg: Springer-Verlag: 43–59. 2009 [2023-12-25]. ISBN 978-3-642-03359-9. (原始内容存档于2023-12-25).
John Harrison. Without Loss of Generality. Theorem Proving in Higher Order Logics. TPHOLs 2009. Berlin, Heidelberg: Springer-Verlag: 43–59. 2009 [2023-12-25]. ISBN 978-3-642-03359-9. (原始内容存档于2023-12-25).