Stepwise program development in Π-institutions (1990)

by Thomas Maibaum, José Fiadeiro, Martin Sadler