Donald Sannella, Andrzej Tarlecki. Algebraic specification and formal methods for program development: what are the real problems?. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 115-120, World Scientific, 1993. [doi]
Abstract is missing.