1 Who has just gone the library?
2 With whom has Mike just gone the library?
3 When have Mike and Steve gone the library?
4 Where have Mike and Steve just gone?
5 Have Mike and Steve just gone the library?
на крайняк:
Has Mike or Steve just gone the library?
Mike and Steve have just gone the library, haven't they?