Conditional and Typed Rewriting Systems: 2nd International Centres Workshop, Montreal, Canada, Jun 11-14, 1990: Proceedings (Lecture Notes in Computer Science)