It's Elementary, Dear Watson: Applying Logic Programming To ...
Dr. Alva L. Couch & Michael Gilfix
Password Authentication with Insecure Communication
Leslie Lamport
Beck v19[MS]
Unknown
Jumper
Steven Gould
Foundations of Programming
Karl Seguin