DTIC ADA193796: Higher Order Languages for Robots, | NiceBooksReads