I don't know if he wrote anything formal, but I remember from talking with him, from his critiques of particular interfaces, and from projects that he was interested in, that he favored UI that made operations as concrete and manifest as possible, that made it as easy as possible to discover operations by experimenting, that made mistakes as low-cost and painless to recover from as possible, and that featured direct manipulation.