Automated Temporal Explanation with the Modal Logic Z. - David Leasure (TIME, 1994)

Learning to Learn Engineering - A Learning Sciences Approach to Engineering Curriculum Design and Implementation. - Tristan T. Utschig; William L. Scheller II; Jim Morgan; Daniel M. Litynski; David Leasure; Mohamed El-Sayed; Virgil Cox; S. Raj Chaudhury; Steven Beyerlein; Daniel Apple (FIE, 2018)