Theoretische software-engineering kenmerken, faseringen en classificaties door J.A. Bergstra & S.F.M. van Vlijmen