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