On homomorphisms, simulations, correctness and subroutines for programs and program schemes | IEEE Conference Publication | IEEE Xplore