VENUS Programming Practices v5.pdf