Badger, D. G.Campbell, R.Dershowitz, N.Harandi, M. T.Laursen, A.Michalski, Ryszard S.Michie, D.Penka, R.Simmonds, M.2006-11-082006-11-081982-04Badger, D. G., Campbell, R., Dershowitz, N., Harandi, M. T., Laursen, A., Michalski, R. S., Michie, D., Penka, R. and Simmonds, M., "Knowledge based programming assistant, KBPA-1," UIUCDCS-F-82-894, Department of Computer Science, University of Illinois, Urbana, April 1982.https://hdl.handle.net/1920/156412027839 bytesapplication/pdfen-USTechnical report