TY - BOOK AU - Massachusetts Institute of Technology, TI - LOGO 86: proceedings U1 - 5.133 ER -