Zuzana Repaská: Integration of Object-Oriented Analysis and Algebraic Specifications. SOFSEM 1995: 443-448