Title: Pascal, an introduction to methodical programming