Proof Development System: User’s Manual (1992)

by LEGO