proof development system: User’s manual (1992)

by LEGO
Venue:Computer Science Dept., University of Edinburgh