proof development system: user's manual (1992)

by LEGO