LEGO Proof Development System: User's Manual (1992)

by Z Luo, R Pollack