Conference paperOn homomorphisms, simulations,correctness and subroutines for programs and program schemes