Author: Patricia Ehrenfeucht,  Andrzej Baggett