Find!
x1=p2 is computer program source code created by x2=p1 with intended result (state/process) x3=p3=s2 on computer x4=s1.
See also samru'e.