Nevada Pascal is a Pascal compiler, also known as JRT Pascal, sold by Ellis Computing. It produces p-code, see chapter 3.