1. Can programming be liberated from the von Neumann style?
2. BAUER F.L. AND WOSSNER H. Algorithmic Language and Program Development. To be published by Springer-Verlag New York. BAUER F.L. AND WOSSNER H. Algorithmic Language and Program Development. To be published by Springer-Verlag New York.
3. Applied Computer Science;BROY M.,1978
4. BROY M. MOLLER B. PEPPER P. AND WIRSING M. A model-independent approach to implementations of abstract data types. To appear in Lecture Notes in Computer Science: Proceedings of the Symposium on Algorithmic Logic and the Programming Language LOGAN Poszran 1980 A. Salwicki (Ed.). Springer-Verlag New York. BROY M. MOLLER B. PEPPER P. AND WIRSING M. A model-independent approach to implementations of abstract data types. To appear in Lecture Notes in Computer Science: Proceedings of the Symposium on Algorithmic Logic and the Programming Language LOGAN Poszran 1980 A. Salwicki (Ed.). Springer-Verlag New York.
5. Program development as a formal activity;BROY M.;IEEE Trans. Softw. Eng. SE-7,1980