Program Development in Java: Abstraction, Specification, and Object-Oriented Design 论文
1986CERN Document Server (European Organization for Nuclear Research)引用 222
Software Engineering ResearchAdvanced Software Engineering MethodologiesLogic, programming, and type systems