Automating process design by I.S. Gavrila