LEGO Proof Development System (1992)

by Z Luo, R Pollack