Some Fundamental Algebraic Tools for the Semantics of
Computation - Part III: Indexed Categories
A Tarlecki, R M Burstall and J A Goguen LFCS report ECS-LFCS-88-60
The Interactive Proof Editor - An Experiment in Interactive
Theorem
B Ritchie and P Taylor LFCS report ECS-LFCS-88-61