51:46 Crossing the Gap from Imperative to Functional Programming Through Refactoring - Peter Burka Data Council
1:04:32 "Axiomatic Basis for Computer Programming" written by C.A.R. Hoare and presented by Jean Yang Data Council
