مايكل ريتشى - لغات أخرى