Documentation and rules for semaphore and acquirement models.