Author also known for inventing (ro)BDDs later in the 80s.