[Optional, not required] Middleton (2005) Logical Framework Analysis
Completion requirements
Click Middleton_Logical Framework Analysis_Undercurrent_2005.pdf link to view the file.