Photos from Pomiv'96: Partial Order Methods in Verification