On High Level Digital System Design - James Byron Peterson (1974)