Lego proof development system: User's manual (1992)

by Z Luo, R Pollack