Title: A user's manual for the automatic synthesis program (program C)