" ફોર્મ્યુલાક લેંગ્વેજ , વોલ્યુમ 2., ઇડ.