The new programming discipline

This publication has 10 references indexed in Scilit:

• Random search on the 8‐queens problem or a simple solution for a simple problem
  Software: Practice and Experience, 1974
• Serious FORTRAN-Part 2
  Software: Practice and Experience, 1973
• The humble programmer
  Communications of the ACM, 1972
• An experiment on program development
  BIT Numerical Mathematics, 1972
• Program development by stepwise refinement
  Communications of the ACM, 1971
• A constructive approach to the problem of program correctness
  BIT Numerical Mathematics, 1968
• The structure of the “THE”-multiprogramming system
  Communications of the ACM, 1968
• Letters to the editor: go to statement considered harmful
  Communications of the ACM, 1968
• Proof of algorithms by general snapshots
  BIT Numerical Mathematics, 1966
• Flow diagrams, turing machines and languages with only two formation rules
  Communications of the ACM, 1966