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

by Z Luo, R Pollack