SIGSOFT '94: proceedings of the second ACM SIGSOFT symposium on foundations of software engineering : NEW ORLEANS, LUISIANA, USA, DECEMBER 6-9, 1994. - Wile, David (ACM,Inc, 1994)