Jeffrey C. Schlimmer, Leonard A. Hermens:
Software Agents: Completing Patterns and Constructing User Interfaces.
, (informal publication) [cs.AI/9311102]
Lawrence C. Paulson:
Set Theory for Verification: I. From Foundations to Functions.
, (informal publication) [cs.LO/9311103]