NASA contractor report CR (series). 1450. Minimum fuel attitude control of non-linear satellite system with bounded control by method based on linear programming [with list of references] by Gary D. Wolske and I. Plugge-Lotz.