The PROMAL Programming System Manual | NiceBooksReads