W. F. Burger
发表
W. F. Burger,
1979
.
W. F. Burger,
Allen L. Ambler,
Charles G. Hoch,
1977,
Language Design for Reliable Software.