Andrzej Tarlecki. Towards formal development of programs from algebraic specifications: Parameterisation revisited (1990)

by Donald Sanella, Stefan Sokolowski