"formal models" - related articles and key terms