Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop