迈向软件工程、信息与计算机科学理论

Towards a Theory of Software Engineering, Information and Computer Science,