Certification of algorithm 40: critical path scheduling

Neal L. Alexander
1961 Communications of the ACM  
doi:10.1145/366696.366765 fatcat:i5iz5xgsjzh57ek2gg33yei6c4