Representing the knowledge of turning machines - Shin, H; Williamson, T (1997)