Richard Boyer's scientific contributions