Title: An introduction to value analysis