Monitor interface specification along with initial implementation