Machine code programs are predicates too (1994)

by T S Norvell
Venue:In Proc. Sixth BCS FACS Refinement Workshop